Optimal. Leaf size=88 \[ \frac{b d (m+n+2) (a+b x)^{m+1} (c+d x)^{n+1} \left (\frac{f (a d (m+1)+b c (n+1))}{b d (m+n+2)}+f x\right )^{-m-n-2}}{f (m+1) (n+1) (b c-a d)^2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.227201, antiderivative size = 88, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 60, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.017 \[ \frac{b d (m+n+2) (a+b x)^{m+1} (c+d x)^{n+1} \left (\frac{f (a d (m+1)+b c (n+1))}{b d (m+n+2)}+f x\right )^{-m-n-2}}{f (m+1) (n+1) (b c-a d)^2} \]
Antiderivative was successfully verified.
[In] Int[(a + b*x)^m*(c + d*x)^n*((b*c*f + a*d*f + a*d*f*m + b*c*f*n)/(b*d*(2 + m + n)) + f*x)^(-3 - m - n),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 22.9425, size = 78, normalized size = 0.89 \[ \frac{b d \left (a + b x\right )^{m + 1} \left (c + d x\right )^{n + 1} \left (f x + \frac{f \left (a d m + a d + b c n + b c\right )}{b d \left (m + n + 2\right )}\right )^{- m - n - 2} \left (m + n + 2\right )}{f \left (m + 1\right ) \left (n + 1\right ) \left (a d - b c\right )^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((b*x+a)**m*(d*x+c)**n*((a*d*f*m+b*c*f*n+a*d*f+b*c*f)/b/d/(2+m+n)+f*x)**(-3-m-n),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 74.2053, size = 5681, normalized size = 64.56 \[ \text{Result too large to show} \]
Warning: Unable to verify antiderivative.
[In] Integrate[(a + b*x)^m*(c + d*x)^n*((b*c*f + a*d*f + a*d*f*m + b*c*f*n)/(b*d*(2 + m + n)) + f*x)^(-3 - m - n),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.01, size = 198, normalized size = 2.3 \[{\frac{ \left ( bx+a \right ) ^{1+m} \left ( dx+c \right ) ^{1+n} \left ( bdxm+bdxn+adm+bcn+2\,bdx+ad+bc \right ) }{{a}^{2}{d}^{2}mn-2\,abcdmn+{b}^{2}{c}^{2}mn+{a}^{2}{d}^{2}m+{a}^{2}{d}^{2}n-2\,abcdm-2\,abcdn+{b}^{2}{c}^{2}m+{b}^{2}{c}^{2}n+{a}^{2}{d}^{2}-2\,abcd+{b}^{2}{c}^{2}} \left ({\frac{f \left ( bdxm+bdxn+adm+bcn+2\,bdx+ad+bc \right ) }{bd \left ( 2+m+n \right ) }} \right ) ^{-3-m-n}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((b*x+a)^m*(d*x+c)^n*((a*d*f*m+b*c*f*n+a*d*f+b*c*f)/b/d/(2+m+n)+f*x)^(-3-m-n),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 4.00643, size = 1380, normalized size = 15.68 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^m*(d*x + c)^n*(f*x + (a*d*f*m + b*c*f*n + b*c*f + a*d*f)/(b*d*(m + n + 2)))^(-m - n - 3),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.33788, size = 448, normalized size = 5.09 \[ \frac{{\left (a^{2} c d m + a b c^{2} n + a b c^{2} + a^{2} c d +{\left (b^{2} d^{2} m + b^{2} d^{2} n + 2 \, b^{2} d^{2}\right )} x^{3} +{\left (3 \, b^{2} c d + 3 \, a b d^{2} +{\left (b^{2} c d + 2 \, a b d^{2}\right )} m +{\left (2 \, b^{2} c d + a b d^{2}\right )} n\right )} x^{2} +{\left (b^{2} c^{2} + 4 \, a b c d + a^{2} d^{2} +{\left (2 \, a b c d + a^{2} d^{2}\right )} m +{\left (b^{2} c^{2} + 2 \, a b c d\right )} n\right )} x\right )}{\left (b x + a\right )}^{m}{\left (d x + c\right )}^{n} \left (\frac{a d f m + b c f n +{\left (b c + a d\right )} f +{\left (b d f m + b d f n + 2 \, b d f\right )} x}{b d m + b d n + 2 \, b d}\right )^{-m - n - 3}}{b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2} +{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} m +{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2} +{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} m\right )} n} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^m*(d*x + c)^n*(f*x + (a*d*f*m + b*c*f*n + b*c*f + a*d*f)/(b*d*(m + n + 2)))^(-m - n - 3),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x+a)**m*(d*x+c)**n*((a*d*f*m+b*c*f*n+a*d*f+b*c*f)/b/d/(2+m+n)+f*x)**(-3-m-n),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (b x + a\right )}^{m}{\left (d x + c\right )}^{n}{\left (f x + \frac{a d f m + b c f n + b c f + a d f}{b d{\left (m + n + 2\right )}}\right )}^{-m - n - 3}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^m*(d*x + c)^n*(f*x + (a*d*f*m + b*c*f*n + b*c*f + a*d*f)/(b*d*(m + n + 2)))^(-m - n - 3),x, algorithm="giac")
[Out]